<!DOCTYPE HTML>
<html><head><meta charset="utf-8"><title>Issue2588</title><link rel="stylesheet" href="Agda.css"></head><body><pre class="Agda"><a id="1" class="Background">%% Andreas, 2021-08-19, also test #5398

\documentclass{article}

\usepackage{agda}

\begin{document}

</a><a id="104" class="Markup">\begin{code}</a>
<a id="117" class="Keyword">module</a> <a id="124" href="Issue2588.html" class="Module">Issue2588</a> <a id="134" class="Keyword">where</a>

<a id="141" class="Comment">{-
-}</a>

<a id="148" class="Comment">{-
One line
-}</a>

<a id="164" class="Comment">{-
Two
lines
-}</a>

<a id="181" class="Comment">{-
First paragraph.

Second paragraph.
-}</a>
<a id="223" class="Markup">\end{code}</a><a id="233" class="Background">

\end{document}
</a></pre></body></html>